21. Finite and infinite combinatorics in sets and logic
المؤلف: edited by N.W. Sauer, R.E. Woodrow, and B. Sands
المکتبة: (طهران)
موضوع: Combinatorial analysis - Congresses , Set theory - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
QA
164
.
N38
1991
22. Finite and infinite combinatorics in sets and logic
المؤلف: / edited by N. W. sauer, R. E. Woodrow, and B. Sands
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Combinatorial analysis -- Congresses,Settheory -- Congresses,Logic, Symbolic and mathematical -- Congresses
رده :
QA
164
.
N38
1991
23. Finite and infinite combinatorics in sets and logic: ]proceedings of the NATO Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic, Banff, Alberta, Canada, April 21-May 4, 1991[
المؤلف: edited by N.W. Sauer, R.E. Woodrow, and B. Sands
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses. ، Combinatorial analysis,Congresses. ، Set theory,Congresses. ، Logic, Symbolic and mathematical
رده :
QA
164
.
N38
1991
24. Formal concept analysis
المؤلف: Petko Valtchev, Robert Jeaschke (eds.)
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
رده :
QA
،
171
.
5
،.
I55
،
2011
25. Frege :
المؤلف: Michael Beaney.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Frege, Gottlob,1848-1925.,Analysis (Philosophy),Language and languages-- Philosophy.,Logic, Symbolic and mathematical.,Logic.,Mathematics-- Philosophy.
رده :
B3245
.
F24
B43
1996
26. Frege and other philosophers
المؤلف: Dummett, Michael A. E.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Frege, Gottlob,8481-5291,، Frege, Gottlob, 8481-5291-- Influence,، Logic, Symbolic and mathematical,، Analysis )Philosophy(
رده :
B
3245
.
F24
.
D865
1991
27. Frege and other philosophers
المؤلف: Dummett, Michael
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Frege, Gottlob,8481-5291,Influence ، Frege, Gottlob,8481-5291,، Logic, Symbolic and mathematical,، Analysis )Philosophy(
رده :
B3245
.
F24
D865
1991
28. Frege and other philosophers
المؤلف: Dummett, Michael A. E.
المکتبة: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع: ، Frege, Gottlob,8481-5291,Influence. ، Frege, Gottlob,8481-5291,، Logic, Symbolic and mathematical.,، Analysis )Philosophy(
رده :
B
3245
.
F24D9
1991
29. Frege and other philosophers
المؤلف: Dummett, Michael Anthony Eardley, 5291-1102
المکتبة: (طهران)
موضوع: ، Frege, Gottlob, 8481-5291,Influence ، Frege, Gottlob, 8481-5291,، Logic, Symbolic and mathematical,، Analysis )Philosophy(
رده :
B
3245
.
F24D86
1991
30. Frege :making sense
المؤلف: Beaney, Michael.
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Frege, Gottlob,8481-5291,، Logic,، Logic, Symbolic and mathematical,، Analysis )Philosophy(,Philosophy ، Language and languages,Philosophy ، Mathematics
رده :
B3245
.
F24
B43
1996
31. Intelligent computer mathematics
المؤلف: / Serge Autexier ... [et al] (eds.
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Algebra--Data processing--Congresses,Mathematical analysis--Data processing--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
QA
,
155
.
7
,.
E4
,
A35
,
2010
32. Intelligent computer mathematics
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Algebra ; Data processing ; Congresses. ; Mathematical analysis ; Data processing ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
33. Interpolation Theory and Its Applications
المؤلف: by L. A. Sakhnovich.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Fourier analysis.,Logic, Symbolic and mathematical.,Mathematics.,Operator theory.
34. Introduction to formal philosophy
المؤلف: Sven Ove Hansson, Vincent F. Hendricks, editors; Esther Michelsen Kjeldahl, assistant editor
المکتبة: (طهران)
موضوع: ، Philosophy,، Analysis )Philosophy(,، Computer science,، Logic, Symbolic and mathematical,، Ethics,Philosophy ، Language and languages
رده :
B
808
.
5
.
I56
35. Introduction to formal philosophy /
المؤلف: Sven Ove Hansson, Vincent F. Hendricks, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.,Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.
رده :
B808
.
5
.
I58
2018
36. Introductory real analysis
المؤلف: / by M. E. Munroe
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Mathematical analysis,Logic, symbolic and mathematical
رده :
QA300
.
M86
37. Introductory real analysis
المؤلف: / by M. E. Munroe
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Matheamtical analysis,Logic, Symbolic and mathematical
رده :
517
.
52
Mu-I
38. Introductory real analysis
المؤلف: Munroe, Marshall Evans
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Mathematical analysis,، Logic, Symbolic and mathematical
رده :
QA
300
.
M76
39. Introductory real analysis
المؤلف: Munroe, M. Evans)Marshall Evans(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Mathematical analysis,، Logic, Symbolic and mathematical
رده :
QA
300
.
M76
40. Introductory real analysis
المؤلف: Munroe, M. Evans)Marshall Evans(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Mathematical analysis,، Logic, Symbolic and mathematical
رده :
QA
300
.
M76
